type T = T<x,{caret}
